601. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
پدیدآورنده: Johan Jeuring, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1422
602. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده: Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
603. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده: Dexter Kozen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
604. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
605. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده: Dexter Kozen, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
606. Mathematics of the decision sciences
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING )MATHEMATICS(-CONGRESSES , CONTROL THEORY-CONGRESSES , DECISION-MAKING-CONGRESSES
رده :
QA
264
.
S85
1967
607. Mathematics of the decision sciences
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Programming )Mathematics(,Congresses ، Control theory,Congresses ، Decision making
رده :
QA
264
.
S85
1967
608. Mathematics of the decision sciences
پدیدآورنده: George B. Dantzig, Arthur F. Veinot, Jr editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming )Mathematics(,Congresses ، Control theory,Congresses ، Decision making
رده :
QA
402
.
5
.
S85
1967
609. Matheuristics: <hybridizing metaheuristics and mathematical programming>
پدیدآورنده: / edited by Vittorio Maniezzo, Thomas Stutzle, Stefan Voss
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming (Mathematics),Heuristic programming,Combinatorial optimization
رده :
519
.
7
M427
2009
610. Matlab by example : programming basics
پدیدآورنده: Gdeisat, Munther
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، MATLAB,Data processing ، Mathematics,Data processing ، Numerical analysis,، Computer programming,Computer programs ، Numerical analysis,، Graphical user interfaces )Computer systems(
رده :
QA
297
.
M34
611. Matrices and Simplex Algorithms :
پدیدآورنده: by A.R.G. Heesterman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Matrices.,Programming (Mathematics)
رده :
QA402
.
5
B937
1983
612. Matrices and simplex algorithms : a textbook in mathematical programming and its associated mathematical topics
پدیدآورنده: Heesterman, A. R. G.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Programming )Mathematics( , Matrices
رده :
QA
402
.
5
.
H43
1983
613. Matrix methods in economics
پدیدآورنده:
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Matrices.,Programming (Mathematics),Economics, Mathematical.
رده :
QA
263
.
A5
1967
614. Matrix methods in economics
پدیدآورنده : Almon, Clopper.
موضوع : ، Matrices,، Programming )Mathematics(,، Economics, Mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
615. Matrix methods in eocnomis
پدیدآورنده: / Clopper Almon
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Matrices,Programming (Mathematics),Economics, Mathematical
رده :
QA
263
.
A5
616. Matrix transforms for computer games and animation
پدیدآورنده: Vince, John )John A.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Mathematics ، Computer graphics,Programming ، Computer games,، Linear programming,Programming ، Computer games,Mathematics ، Computer graphics,، Linear programming
رده :
T
385
.
V5627
2012
617. Measuring Power of Algorithms, Computer Programs and Information Automata
پدیدآورنده: / Mark Burgin
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algorithms,Machine theory,Programming (Mathematics),الگوریتم ها
رده :
QA9
,.
58
.
M43
2010
618. Measuring power of algorithms, computer programs and information automata
پدیدآورنده: Mark Burgin
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Algorithms,Machine theory,Programming )Mathematics(
رده :
QA
9
,.
58
.
M4
2010
619. Methoden der ganzzahligen optimierung
پدیدآورنده: Burkard, Rainer E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematical optimization,، Programming )Mathematics(
رده :
QA
402
.
5
.
B87
620. Model Building in Mathematical Programming
پدیدآورنده: / H. Paul Williams
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming (Mathematics),Mathematical models,برنامه‌نویسی ( ریاضیات),الگوهای ریاضی
رده :
T57
,.
7
.
W55
2013
